#include <stdio.h>
int main(){
    int l,r,tmp;
    int cnt=0;
    scanf("%d%d",&l,&r);
    for(int i=l;i<=r;i++){
        if(i%7==0){
            cnt++;
            continue;
        }
        tmp=i;
        while(tmp){
            if(tmp%10==7){
                cnt++;
                break;
            }
            tmp/=10;
        }
    }
    printf("%d",cnt);
    return 0;
}